Tadeusz Batóg's Phonological Systems

The phonological works of Tadeusz Batóg concern rst of all the logical reconstruction of the concept of the phoneme. It should be stressed at the very beginning that the works in question have established a standard which should be recommended in all attempts at a logical reconstruction of linguistic theories. The Author uses, along with the standard machinery of the classical predicate calculus, also the extended mereology of Le±niewski Tarski. Linguistic theories which are taken into account are those of American structuralism (primarily that of Zellig Harris) as well as European structuralism (N.S. Trubetzkoy). References to the works of Bloch, Bloom eld, Jones, Pilch, Jassem, de Saussure can also be found in Batóg's approach. Up to now, Tadeusz Batóg has devoted ten of his works to the problem of a logical reconstruction of the concept of the phoneme (cf. References). Five of those (viz. Batóg 1961, 1962, 1967, 1971 and 1976) seem to represent the consecutive stages of the development of his phonological theory. The works Batóg (1961a, 1969, 1971a, 1978 and 1978a) propose some subtle corrections of the main ideas or serve as an exposition of Batóg's theory for those readers without a su cient mathematical background. The major achievements of Tadeusz Batóg in his attempts at a logical reconstruction of (structuralistic) phonology have been collected in the monographs Batóg (1967 and 1994). The second of these is a collection of